[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 164 492 128 0 0 0 86

N.S.

1 1.00 1.09 3.28 0.85 0.00 0.00 0.00 0.57

time (sec)

N/A 0.086 0.237 14.324 0.527 0.000 0.000 0.000 5.454

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 194 1112 139 0 0 0 99

N.S.

1 1.00 1.17 6.70 0.84 0.00 0.00 0.00 0.60

time (sec)

N/A 0.098 0.348 48.648 0.510 0.000 0.000 0.000 5.729

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 194 1208 152 0 0 0 -1

N.S.

1 1.00 1.05 6.57 0.83 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.120 0.585 49.217 0.542 0.000 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 207 1272 165 0 0 0 -1

N.S.

1 1.00 1.02 6.30 0.82 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.136 0.885 53.507 0.561 0.000 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 215 7157 221 0 0 0 -1

N.S.

1 1.00 0.80 26.71 0.82 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.213 1.569 18.403 0.505 0.000 0.000 0.000 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 202 6328 209 0 0 0 -1

N.S.

1 1.00 0.81 25.41 0.84 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.188 1.453 18.643 0.503 0.000 0.000 0.000 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 199 3512 190 0 0 0 -1

N.S.

1 1.00 0.89 15.75 0.85 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.160 0.427 18.971 0.507 0.000 0.000 0.000 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 170 3089 177 0 0 0 -1

N.S.

1 1.00 0.83 15.14 0.87 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.137 0.500 16.588 0.537 0.000 0.000 0.000 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 173 1757 177 0 0 0 -1

N.S.

1 1.00 0.85 8.61 0.87 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.136 0.765 52.487 0.497 0.000 0.000 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 77 1733 191 0 0 0 -1

N.S.

1 1.00 0.35 7.77 0.86 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.159 0.268 56.151 0.505 0.000 0.000 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 81 1975 212 0 0 0 -1

N.S.

1 1.00 0.33 7.93 0.85 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.184 0.287 59.005 0.544 0.000 0.000 0.000 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 80 1903 224 0 0 0 -1

N.S.

1 1.00 0.30 7.10 0.84 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.209 0.399 55.305 0.543 0.000 0.000 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 229 9273 262 0 0 0 -1

N.S.

1 1.00 0.77 31.01 0.88 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.319 2.207 17.662 0.507 0.000 0.000 0.000 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 225 8774 240 0 0 0 -1

N.S.

1 1.00 0.83 32.50 0.89 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.272 2.180 18.478 0.501 0.000 0.000 0.000 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 194 4528 220 0 0 0 -1

N.S.

1 1.00 0.79 18.48 0.90 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.244 1.032 17.936 0.521 0.000 0.000 0.000 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 188 4227 218 0 0 0 -1

N.S.

1 1.00 0.77 17.25 0.89 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.245 3.204 52.275 0.504 0.000 0.000 0.000 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 100 2370 221 0 0 0 -1

N.S.

1 1.00 0.41 9.67 0.90 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.249 0.348 50.568 0.579 0.000 0.000 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

272 272 102 2472 243 0 0 0 -1

N.S.

1 1.00 0.38 9.09 0.89 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.275 0.529 64.469 0.512 0.000 0.000 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 101 2598 265 0 0 0 -1

N.S.

1 1.00 0.34 8.69 0.89 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.318 0.620 54.520 0.519 0.000 0.000 0.000 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 303 11313 207 0 0 0 -1

N.S.

1 1.00 1.12 41.75 0.76 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.458 0.386 19.338 0.517 0.000 0.000 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 264 10343 189 0 0 0 -1

N.S.

1 1.00 1.06 41.37 0.76 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.329 0.431 20.344 0.492 0.000 0.000 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 227 2278 174 0 0 0 -1

N.S.

1 1.00 0.98 9.82 0.75 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.204 0.227 16.048 0.495 0.000 0.000 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 204 1892 174 0 0 0 -1

N.S.

1 1.00 0.88 8.16 0.75 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.204 0.153 17.457 0.496 0.000 0.000 0.000 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 226 1900 175 0 0 0 -1

N.S.

1 1.00 0.97 8.19 0.75 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.203 0.171 16.658 0.551 0.000 0.000 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 193 5450 189 0 0 0 -1

N.S.

1 1.00 0.77 21.80 0.76 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.343 0.410 55.597 0.532 0.000 0.000 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

398 398 455 37365 318 0 0 0 -1

N.S.

1 1.00 1.14 93.88 0.80 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.759 6.179 22.496 0.537 0.000 0.000 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 424 28980 303 0 0 0 -1

N.S.

1 1.00 1.19 81.18 0.85 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.560 6.121 23.149 0.523 0.000 0.000 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

318 318 368 18333 283 0 0 0 -1

N.S.

1 1.00 1.16 57.65 0.89 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.383 1.721 20.422 0.505 0.000 0.000 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 301 20286 276 0 0 0 -1

N.S.

1 1.00 0.96 64.40 0.88 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.348 4.784 17.352 0.524 0.000 0.000 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 380 20172 274 0 0 0 -1

N.S.

1 1.00 1.21 64.45 0.88 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.338 6.101 17.250 0.508 0.000 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 279 20282 284 0 0 0 -1

N.S.

1 1.00 0.87 63.58 0.89 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.398 2.801 16.298 0.516 0.000 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 239 21870 322 0 0 0 -1

N.S.

1 1.00 0.67 61.26 0.90 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.581 0.614 59.641 0.517 0.000 0.000 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

493 493 564 101140 456 0 0 0 -1

N.S.

1 1.00 1.14 205.15 0.92 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.082 6.263 28.122 0.527 0.000 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

444 444 530 79208 439 0 0 0 -1

N.S.

1 1.00 1.19 178.40 0.99 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.837 6.178 32.519 0.530 0.000 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 499 50668 426 0 0 0 -1

N.S.

1 1.00 1.26 127.95 1.08 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.629 6.171 29.167 0.523 0.000 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

392 392 462 50771 418 0 0 0 -1

N.S.

1 1.00 1.18 129.52 1.07 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.658 6.146 19.072 0.536 0.000 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 492 50714 409 0 0 0 -1

N.S.

1 1.00 1.28 131.72 1.06 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.612 6.149 20.925 0.524 0.000 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 398 50673 415 0 0 0 -1

N.S.

1 1.00 1.03 131.62 1.08 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.589 2.647 22.537 0.511 0.000 0.000 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 387 50764 425 0 0 0 -1

N.S.

1 1.00 0.98 128.19 1.07 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.654 6.134 20.981 0.530 0.000 0.000 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 220 21305 0 0 0 0 -1

N.S.

1 1.00 0.84 81.63 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.614 2.303 36.899 0.000 0.000 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 185 10794 0 0 0 0 -1

N.S.

1 1.00 0.84 48.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.301 0.784 29.770 0.000 0.000 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 174 10498 0 0 0 0 -1

N.S.

1 1.00 0.97 58.65 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.329 0.162 37.431 0.000 0.000 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 143 2597 0 0 0 0 -1

N.S.

1 1.00 0.92 16.75 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.162 38.506 0.000 0.000 0.000 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 209 5190 0 0 0 0 -1

N.S.

1 1.00 0.99 24.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.440 0.862 35.276 0.000 0.000 0.000 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 261 12857 0 0 0 0 -1

N.S.

1 1.00 1.07 52.69 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.518 0.790 37.311 0.000 0.000 0.000 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 255 25460 0 0 0 0 -1

N.S.

1 1.00 0.83 83.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.847 3.299 35.276 0.000 0.000 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 219 23629 0 0 0 0 -1

N.S.

1 1.00 0.83 89.50 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.665 1.582 35.006 0.000 0.000 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 196 12725 0 0 0 0 -1

N.S.

1 1.00 0.92 59.74 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.507 1.267 33.802 0.000 0.000 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 175 11638 0 0 0 0 -1

N.S.

1 1.00 0.95 62.91 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.379 0.502 32.694 0.000 0.000 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 237 6349 0 0 0 0 -1

N.S.

1 1.00 1.12 29.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.556 0.600 34.230 0.000 0.000 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 292 13888 0 0 0 0 -1

N.S.

1 1.00 1.19 56.46 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.923 2.098 38.457 0.000 0.000 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

286 286 312 16676 0 0 0 0 -1

N.S.

1 1.00 1.09 58.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.023 5.999 35.702 0.000 0.000 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

358 358 329 49804 0 0 0 0 -1

N.S.

1 1.00 0.92 139.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.132 5.487 35.865 0.000 0.000 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 274 33758 0 0 0 0 -1

N.S.

1 1.00 0.88 108.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.935 3.567 35.886 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 214 33357 0 0 0 0 -1

N.S.

1 1.00 0.83 128.79 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.729 1.804 35.138 0.000 0.000 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 190 16676 0 0 0 0 -1

N.S.

1 1.00 0.86 75.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.535 1.131 32.751 0.000 0.000 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 253 27482 0 0 0 0 -1

N.S.

1 1.00 1.04 113.09 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.092 2.087 36.014 0.000 0.000 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 241 15065 0 0 0 0 -1

N.S.

1 1.00 0.97 60.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.044 1.120 35.208 0.000 0.000 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 284 17291 0 0 0 0 -1

N.S.

1 1.00 0.98 59.42 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.584 2.520 40.204 0.000 0.000 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 320 18203 0 0 0 0 -1

N.S.

1 1.00 0.95 54.01 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.586 3.998 43.032 0.000 0.000 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 193 8425 0 0 0 0 -1

N.S.

1 1.00 0.88 38.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.319 3.546 32.688 0.000 0.000 0.000 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 177 6056 0 0 0 0 -1

N.S.

1 1.00 0.95 32.39 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.199 0.658 38.720 0.000 0.000 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 144 2048 0 0 0 0 -1

N.S.

1 1.00 0.97 13.74 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.139 0.166 35.233 0.000 0.000 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 143 1631 0 0 0 0 -1

N.S.

1 1.00 0.92 10.52 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.143 0.184 33.718 0.000 0.000 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 209 4705 0 0 0 0 -1

N.S.

1 1.00 0.99 22.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.180 1.178 36.236 0.000 0.000 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 243 11480 0 0 0 0 -1

N.S.

1 1.00 0.98 46.29 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.548 2.468 35.543 0.000 0.000 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 241 9931 0 0 0 0 -1

N.S.

1 1.00 0.86 35.34 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.654 5.779 37.943 0.000 0.000 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 229 9450 0 0 0 0 -1

N.S.

1 1.00 0.98 40.56 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.498 5.925 38.644 0.000 0.000 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 203 4830 0 0 0 0 -1

N.S.

1 1.00 1.02 24.27 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.379 1.035 38.346 0.000 0.000 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 183 4836 0 0 0 0 -1

N.S.

1 1.00 0.97 25.59 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.363 2.050 39.409 0.000 0.000 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 202 4822 0 0 0 0 -1

N.S.

1 1.00 1.04 24.86 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.345 1.835 33.996 0.000 0.000 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 341 14605 0 0 0 0 -1

N.S.

1 1.00 1.34 57.27 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.908 2.064 36.477 0.000 0.000 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 319 15849 0 0 0 0 -1

N.S.

1 1.00 1.03 51.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.163 6.219 36.788 0.000 0.000 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

338 338 504 41735 0 0 0 0 -1

N.S.

1 1.00 1.49 123.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.876 6.301 37.546 0.000 0.000 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

305 305 296 26450 0 0 0 0 -1

N.S.

1 1.00 0.97 86.72 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.720 4.098 38.190 0.000 0.000 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 255 20642 0 0 0 0 -1

N.S.

1 1.00 1.01 81.91 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.546 2.082 27.445 0.000 0.000 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 214 19740 0 0 0 0 -1

N.S.

1 1.00 0.85 78.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.513 5.244 38.882 0.000 0.000 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 218 20598 0 0 0 0 -1

N.S.

1 1.00 0.91 86.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.510 4.157 37.081 0.000 0.000 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 209 19720 0 0 0 0 -1

N.S.

1 1.00 0.82 77.64 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.572 4.296 37.438 0.000 0.000 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 141 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.303 0.948 0.536 0.000 0.000 0.000 0.000 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 107 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.163 0.499 0.424 0.000 0.000 0.000 0.000 0.000

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 88 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.221 0.308 0.000 0.000 0.000 0.000 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 145 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.281 0.636 2.320 0.000 0.000 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 192 0 0 0 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.546 0.889 2.602 0.000 0.000 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.191 3.406 0.378 0.000 0.000 0.000 0.000 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

155 155 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.204 3.925 0.359 0.000 0.000 0.000 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

153 153 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.176 4.631 0.362 0.000 0.000 0.000 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

159 159 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.195 5.830 0.395 0.000 0.000 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

159 159 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.188 5.827 0.351 0.000 0.000 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 55 23 48 83 114 83 36

N.S.

1 1.00 2.20 0.92 1.92 3.32 4.56 3.32 1.44

time (sec)

N/A 0.048 0.214 0.070 0.496 1.104 0.181 0.559 4.782

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 36 45 31 34 54 68 54 26

N.S.

1 1.44 1.80 1.24 1.36 2.16 2.72 2.16 1.04

time (sec)

N/A 0.046 0.148 0.071 0.539 0.993 0.167 0.484 4.728

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 13 20 24 13 12

N.S.

1 1.00 1.00 1.08 1.08 1.67 2.00 1.08 1.00

time (sec)

N/A 0.018 0.014 0.022 0.522 1.123 0.075 0.434 4.693

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 32 20 0 19 42 33 23

N.S.

1 1.00 1.39 0.87 0.00 0.83 1.83 1.43 1.00

time (sec)

N/A 0.054 0.116 0.118 0.000 1.153 0.082 0.450 4.775

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 45 22 0 35 100 65 21

N.S.

1 1.00 1.80 0.88 0.00 1.40 4.00 2.60 0.84

time (sec)

N/A 0.055 0.556 0.151 0.000 0.879 0.161 0.532 4.810

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 56 21 0 48 141 96 20

N.S.

1 1.00 2.24 0.84 0.00 1.92 5.64 3.84 0.80

time (sec)

N/A 0.051 0.473 0.182 0.000 1.224 0.192 0.634 4.791

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 80 50 72 133 182 133 80

N.S.

1 1.00 1.38 0.86 1.24 2.29 3.14 2.29 1.38

time (sec)

N/A 0.071 1.132 0.082 0.486 1.188 0.322 0.709 4.804

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 52 54 72 102 138 102 80

N.S.

1 1.00 0.85 0.89 1.18 1.67 2.26 1.67 1.31

time (sec)

N/A 0.067 0.985 0.072 0.498 1.274 0.261 0.623 4.723

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 29 28 37 71 94 166 27

N.S.

1 1.00 0.76 0.74 0.97 1.87 2.47 4.37 0.71

time (sec)

N/A 0.044 0.061 0.042 0.499 1.170 0.175 0.565 4.636

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 36 45 31 34 35 44 35 26

N.S.

1 1.44 1.80 1.24 1.36 1.40 1.76 1.40 1.04

time (sec)

N/A 0.046 0.158 0.066 0.551 1.482 0.121 0.502 4.542

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 74 38 0 69 100 125 48

N.S.

1 1.00 1.35 0.69 0.00 1.25 1.82 2.27 0.87

time (sec)

N/A 0.080 0.762 0.170 0.000 1.094 0.164 0.536 4.618

[next] [prev] [prev-tail] [front] [up]